A FORMAL SYSTEM FOR EUCLID’S ELEMENTS
نویسندگان
چکیده
منابع مشابه
A Formal System for Euclid's Elements
We present a formal system, E, which provides a faithful model of the proofs in Euclid’s Elements, including the use of diagrammatic reasoning. §
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملElements of Formal Semantics
Draft version of Chapters 1 and 2. Comments welcome! See webpage for future updates and mailing list: Elements of Formal Semantics will aim at introducing some of the foundational concepts, principles and techniques in formal semantics of natural language. It is planned as a basic but sophisticated introduction for readers who have some elementary background in set theory and linguistics. No ma...
متن کاملa formal petri net based model for antivirus update agent system
in this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition petri nets. the mobile agent system contains two mobile agents called dca and una. it sends out agents to update antivirus on client computers in a network. each agent takes on a specified responsibility. first, dca roams through the network and check the last d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2009
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020309990098